1. AI and Cognitive Science '92 :
پدیدآورنده : edited by Kevin Ryan, Richard F.E. Sutcliffe.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
2. Advances in Cryptology - ASIACRYPT '91 :
پدیدآورنده : edited by Hideki Imai, Ronald L. Rivest, Tsutomu Matsumoto.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer communication networks.,Computer science.,Operating systems (Computers)
رده :
QA76
.
9
.
A25
E358
1993
4. An introduction to the planning domain definition language /
پدیدآورنده : Patrik Haslum, Nir Lipovetzky, Daniele Magazzeni, Christian Muise.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computational complexity.,Artificial intelligence.,Computational complexity.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Machine Theory.,COMPUTERS / Reference.
رده :
Q335
.
H37
2019
5. Automata, languages and programming :
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
6. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
7. Category Theory Applied to Computation and Control :
پدیدآورنده : by E.G. Manes.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automates mathématiques, Théorie des -- Congrès.,Computer science.,K-theory.
رده :
QA267
.
B944
1975
8. Communicating process architectures 2009 :
پدیدآورنده : edited by Peter H. Welch [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Transputers, Congresses.,Computer architecture.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,occam (Computer program language),Parallel processing (Electronic computers),Transputers.
رده :
QA76
.
58
.
W58
2009
9. Communication and concurrency
پدیدآورنده : Robin, Miler
موضوع : Computer systems,Machine theory,Formal language
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. Computability and Decidability :
پدیدآورنده : by Jacques Loeckx.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.
11. Computational linguistics and intelligent text processing
پدیدآورنده : / Alexander Gelbukh (ed.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Text processing (Computer science), Congresses,Computational linguistics, Congresses,Discourse analysis, Data processing, Congresses,Information storage and retrieval systems, Congresses
رده :
QA76
.
9
.
T48C49
2010
12. Computer Security -- ESORICS 92 :
پدیدآورنده : edited by Yves Deswarte, Gérard Eizenberg, Jean-Jacques Quisquater.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Operating systems (Computers)
13. Computer Speech
پدیدآورنده : by Manfred R. Schroeder.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Acoustics.,Computer science.,Physics.,Telecommunication.,Translators (Computer programs).
14. Computer-aided reasoning :
پدیدآورنده : edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer-aided design.,Expert systems (Computer science)
رده :
QA76
.
76
.
E95
E358
2011
15. Digital Circuit Design for Computer Science Students :
پدیدآورنده : by Niklaus Wirth.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronics.,Engineering.,Logic design.
رده :
TK7888
.
4
B965
1995
16. Digital libraries for open knowledge :
پدیدآورنده : Eva Méndez, Fabio Crestani, Cristina Ribeiro, Gabriel David, João Correia Lopes (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Digital libraries, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Natural Language Processing (NLP).,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Document Management.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Data mining.,Desktop publishing.,Digital libraries.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.
رده :
ZA4080
17. Foundations of Computational Linguistics :
پدیدآورنده : by Roland Hausser.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Information storage and retrieval systems.
رده :
P98
.
B976
2001
18. Foundations of Computational Linguistics :
پدیدآورنده : by Roland Hausser.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Information storage and retrieval systems.
رده :
P98
.
B976
1999
19. Information systems and neuroscience :
پدیدآورنده : editors: Fred D. Davis, René Riedl, Jan vom Brocke, Pierre-Majorique Léger, Adriane B. Randolph.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Human-computer interaction, Congresses.,Information technology, Congresses.,Neurosciences.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Human-computer interaction.,Information technology.,Neurosciences.
رده :
T58
.
5
.
I53
2019
20. Innovative security solutions for information technology and communications :
پدیدآورنده : Jean-Louis Lanet, Cristian Toma (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Information technology-- Security measures, Congresses.,Computer networks-- Security measures.,Computer security.,Information technology-- Security measures.
رده :
QA76
.
9
.
A25
